An Approach to Derive Usage Models Variants for Model-Based Testing
نویسندگان
چکیده
Testing techniques in industry are not yet adapted for product line engineering (PLE). In particular, Model-based Testing (MBT), a technique that allows to automatically generate test cases from requirements, lacks support for managing variability (differences) among a set of related product. In this paper, we present an approach to equip usage models, a widely used formalism in MBT, with variability capabilities. Formal correspondences are established between a variability model, a set of functional requirements, and a usage model. An algorithm then exploits the traceability links to automatically derive a usage model variant from a desired set of selected features. The approach is integrated into the professional MBT tool MaTeLo and is currently used in industry.
منابع مشابه
Testing Several Rival Models Using the Extension of Vuong\'s Test and Quasi Clustering
The two main goals in model selection are firstly introducing an approach to test homogeneity of several rival models and secondly selecting a set of reasonable models or estimating the best rival model to the true one. In this paper we extend Vuong's method for several models to cluster them. Based on the working paper of Katayama $(2008)$, we propose an approach to test whether rival models h...
متن کاملTESTING FOR AUTOCORRELATION IN UNEQUALLY REPLICATED FUNCTIONAL MEASUREMENT ERROR MODELS
In the ordinary linear models, regressing the residuals against lagged values has been suggested as an approach to test the hypothesis of zero autocorrelation among residuals. In this paper we extend these results to the both equally and unequally replicated functionally measurement error models. We consider the equally and unequally replicated cases separately, because in the first case the re...
متن کاملEvaluating the Role of Company Life Cycle for an Appropriate Model in Predicting the Quality of Discretionary Accruals (Abnormal) Based on Dickinson Cash Flow Model Approach
The main purpose of this research is to evaluate the role of the company life cycle in providing an appropriate model in predicting the quality of discretionary accruals (Abnormal) using the Dickinson Cash Flow Model approach. The statistical population of the research consisted of 180 company observations that were divided into three stages of life cycle using Dickinson's model variables (2011...
متن کاملDesign of Accelerated Life Testing Plans for Products Exposed to Random Usage
< p>Accelerated Life Testing (ALT) is very important in evaluating the reliability of highly reliable products. According to ALT procedure, products undergo higher stress levels than normal conditions to reduce the failure times. ALTs have been studied for various conditions and stresses. In addition to common stress such as temperature and humidity, random usage can also be considered as anoth...
متن کاملAn Empirical Comparison of Distance Measures for Multivariate Time Series Clustering
Multivariate time series (MTS) data are ubiquitous in science and daily life, and how to measure their similarity is a core part of MTS analyzing process. Many of the research efforts in this context have focused on proposing novel similarity measures for the underlying data. However, with the countless techniques to estimate similarity between MTS, this field suffers from a lack of comparative...
متن کامل